How to Train an LLM to Do Proofs: Beyond Verifiable Rewards
tobysimonds.com·1d·
Discuss: Hacker News
Automated Theorem Proving
Prompting Techniques for Specialised LLMs
dev.to·11h·
Discuss: DEV
🔗Constraint Handling
Property-based testing of batch-invariant operations
mmaaz.ca·5h·
Discuss: Hacker News
🧪Property-Based Testing
A grand week
blog.mitrichev.ch·14h·
🧮SMT Solvers
Python PEP 636 – Structural Pattern Matching: Tutorial
peps.python.org·17h·
Discuss: Hacker News
📝Concrete Syntax
Using Information Entropy To Make Choices / Choose Experiments
blog.demofox.org·30m
🔲Cellular Automata
News for September 2025
ptreview.sublinear.info·1d
🧪Property-Based Testing
MathArena Apex: Unconquered Final-Answer Problems
matharena.ai·23h·
Discuss: Hacker News
🧮SMT Solvers
Three important things to get right for successful AI Coding
kau.sh·11h
Proof Automation
94% of AI Developers Ignore This Theorem Prover. Here's Why That's Costing Millions.
dev.to·21h·
Discuss: DEV
⚙️Proof Engineering
Using Palm Jumeirah's Design to Visualize the Elliptic Curve Method
codingpirate.com·4h·
Discuss: Hacker News
📐Mathematical Art
Red Stone One Carat — TryHackMe Challenge Write-up
infosecwriteups.com·1d
🛡️CLI Security
The Analyst’s Gambit: A Second Course in Functional Analysis
noncommutativeanalysis.wordpress.com·2d
⚔️Lean Theorem
Google Chrome RCE (No Sandbox) via CanonicalEquality:EqualValueType()
ssd-disclosure.com·9h·
Discuss: Hacker News
🛡️WASM Security
How Much Should You Tell Your AI Agent?
raymondyxu.com·10h·
Discuss: Hacker News
Proof Automation
Building a Command-Line Quiz Application in R
towardsdatascience.com·14h
🐚Shell Calculus
Atomic and Saturated Models
functor.network·2d·
Discuss: Hacker News
🔢Denotational Semantics
ProofOfThought: LLM-based reasoning using Z3 theorem proving
dev.to·15h·
Discuss: DEV
SMT Integration
Fun with HyperLogLog and SIMD
vaktibabat.github.io·1d·
📊HyperLogLog
The Making of Digital Identity – The Birth of Digital Authentication
syntheticauth.ai·12h·
Discuss: Hacker News
🔐PKI Archaeology